Continuous Transitions in Mereotopology

Using SPASS for proving theorems within Mereotopology

We report work in progress about using the automated theorem prover SPASS [12] for proving theorems within mereotopology. The mereotopological theory used is a spatio-temporal extension of the spatial representation language RCC-8 [11]. RCC-8 is a theory of space and time with a primitive dyadic relation of connection. The theory has been developed in a series of papers [11, 2, 6]. The most dis...

Model-Theoretic Analysis of Asher And Vieu's Mereotopology

Model-Theoretic Analysis of Asher And Vieu's Mereotopology

Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations

Dimiter Vakarelov DYNAMIC MEREOTOPOLOGY

Granular Mereotopology: A First Sketch

Mereotopology aims at a reconstruction of notions of set topology in mereological universa. Because of foundational differences between set theory and mereology, most notably, the absence of points in the latter, the rendering of notions of topology in mereology faces serious difficulties. On the other hand, some of those notions, e.g., the notion of a boundary, belong in the canon of the most ...

Elementary Polyhedral Mereotopology